<?php
	echo 'happy';
?>